Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift

Professor Rudeanu published numerous research papers and authored or coauthored some important books. A simple enumeration of some titles of his books, from the rst one, Axioms of Lattices and Boolean Algebras published in Romanian by the Romanian Academy Publishing House in 1963 to the pioneering Pseudo-Boolean Methods for Bivalent Programming, Springer-Verlag, 1966 and Boolean Methods in Operations Research and Related Areas, SpringerVerlag, 1968 (both co-authored with P. L. Hammer), from the classical Boolean Functions and Equations, North-Holland, 1974 and Lukasiewicz-Moisil Algebras (co-authored with V. Boicescu, A. Filipoiu, G. Georgescu), North-Holland, 1991 to the forthcoming Springer-Verlag book Lattice Functions and Equations, may give the reader a glimpse into a particularly creative and productive life dedicated to mathematics and theoretical computer science.